机译:在模糊统一的可能性逻辑编程环境中形式化论证推理
机译:用于可能论证的逻辑编程框架:形式化和逻辑属性
机译:为具有模糊常数的可能性逻辑的Horn片段添加基于相似度的推理功能
机译:具有模糊统一性的模糊逻辑编程的不同模型(对模糊数据库的修订)
机译:基于模糊逻辑的不确定性推理大规模专家系统设计及其在基于视觉的移动机器人导航中的应用。
机译:基于模糊逻辑推理的无人机群多目标跟踪联合传感器选择和功率分配算法
机译:在模糊统一的可能性逻辑程序设置中形式化论证推理
机译:模糊逻辑中的三段论推理及其在处理推理中的应用